Merge branch 'report-fixes' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Thu, 13 Feb 2020 15:04:04 +0000 (15:04 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Thu, 13 Feb 2020 15:04:04 +0000 (15:04 +0000)
Fixes for the CI test reports

See merge request GNOME/gtk!1426


Trivial merge